Computer University

Results: 29298



#Item
521

Understanding Task Design Trade-offs in Crowdsourced Paraphrase Collection Youxuan Jiang, Jonathan K. Kummerfeld and Walter S. Lasecki Computer Science & Engineering University of Michigan, Ann Arbor {lyjiang,jkummerf,wl

Add to Reading List

Source URL: web.eecs.umich.edu

Language: English - Date: 2018-01-09 09:32:30
    522

    The Influence of the Task on Programmer Behaviour Annie T.T. Ying and Martin P. Robillard School of Computer Science, McGill University, Montr´eal, QC, Canada {annie.ying,martin}@cs.mcgill.ca Abstract—Programmers per

    Add to Reading List

    Source URL: www.annieying.ca

    Language: English - Date: 2013-06-30 13:57:48
      523

      αKanren A Fresh Name in Nominal Logic Programming William E. Byrd and Daniel P. Friedman Department of Computer Science, Indiana University, Bloomington, IN 47408 {webyrd,dfried}@cs.indiana.edu

      Add to Reading List

      Source URL: repository.readscheme.org

      Language: English - Date: 2012-08-10 19:21:16
        524

        Reducing Dimensions of Tensors in Type-Driven Distributional Semantics Tamara Polajnar Luana Fˇagˇarˇas¸an Stephen Clark Computer Laboratory University of Cambridge Cambridge, UK

        Add to Reading List

        Source URL: emnlp2014.org

        Language: English - Date: 2014-10-16 05:20:56
          525

          C O V E R F E A T U R E The Strangest Thing About Software Tim Menzies and David Owen, West Virginia University Julian Richardson, Research Institute for Advanced Computer Science

          Add to Reading List

          Source URL: menzies.us

          Language: English - Date: 2018-07-27 14:12:32
            526

            Single Image Depth Estimation From Predicted Semantic Labels Beyang Liu Dept. of Computer Science Stanford University Stephen Gould

            Add to Reading List

            Source URL: ai.stanford.edu

            Language: English - Date: 2010-04-01 14:44:56
              527

              THE IGIPI ONTOLOGICAL FRAMEWORK: INTEGRATING GENE INTERACTIONS WITH PROTEIN INTERACTIONS BILL ANDREOPOULOS1, AIJUN AN1, XIANGJI HUANG2 Department of Computer Science and Engineering, York University 2 Department of Infor

              Add to Reading List

              Source URL: www.nettab.org

              Language: English - Date: 2005-10-18 12:17:55
                528

                Introducing a New Project on The Combination of Substructural Logics and Dependent Type Theory Harley Eades III Computer Science, Augusta University Introduction. Over the course of the last thirty years interactive proo

                Add to Reading List

                Source URL: metatheorem.org

                Language: English - Date: 2018-08-14 14:33:44
                  UPDATE